Efficient Set Sharing Using ZBDDs

Set sharing is an abstract domain in which each concrete object is represented by the set of local variables from which it might be reachable. It is a useful abstraction to detect parallelism opportunities, since it contains definite information about which variables do not share in memory, i.e., about when the memory regions reachable from those variables are disjoint. Set sharing is a more precise alternative to pair sharing, in which each domain element is a set of all pairs of local variables from which a common object may be reachable. However, the exponential complexity of some set sharing operations has limited its wider application. This work introduces an efficient implementation of the set sharing domain using Zero-suppressed Binary Decision Diagrams (ZBDDs). Because ZBDDs were designed to represent sets of combinations (i.e., sets of sets), they naturally represent elements of the set sharing domain. We show how to synthesize the operations needed in the set sharing transfer functions from basic ZBDD operations. For some of the operations, we devise custom ZBDD algorithms that perform better in practice. We also compare our implementation of the abstract domain with an efficient, compact, bit set-based alternative, and show that the ZBDD version scales better in terms of both memory usage and running time

Loops under Strategies ... Continued

While there are many approaches for automatically proving termination of term rewrite systems, up to now there exist only few techniques to disprove their termination automatically. Almost all of these techniques try to find loops, where the existence of a loop implies non-termination of the rewrite system. However, most programming languages use specific evaluation strategies, whereas loop detection techniques usually do not take strategies into account. So even if a rewrite system has a loop, it may still be terminating under certain strategies. Therefore, our goal is to develop decision procedures which can determine whether a given loop is also a loop under the respective evaluation strategy. In earlier work, such procedures were presented for the strategies of innermost, outermost, and context-sensitive evaluation. In the current paper, we build upon this work and develop such decision procedures for important strategies like leftmost-innermost, leftmost-outermost, (max-)parallel-innermost, (max-)parallel-outermost, and forbidden patterns (which generalize innermost, outermost, and context-sensitive strategies). In this way, we obtain the first approach to disprove termination under these strategies automatically.Comment: In Proceedings IWS 2010, arXiv:1012.533

Radio emission of extensive air shower at CODALEMA: Polarization of the radio emission along the v*B vector

Cosmic rays extensive air showers (EAS) are associated with transient radio emission, which could provide an efficient new detection method of high energy cosmic rays, combining a calorimetric measurement with a high duty cycle. The CODALEMA experiment, installed at the Radio Observatory in Nancay, France, is investigating this phenomenon in the 10^17 eV region. One challenging point is the understanding of the radio emission mechanism. A first observation indicating a linear relation between the electric field produced and the cross product of the shower axis with the geomagnetic field direction has been presented (B. Revenu, this conference). We will present here other strong evidences for this linear relationship, and some hints on its physical origin.Comment: Contribution to the 31st International Cosmic Ray Conference, Lodz, Poland, July 2009. 4 pages, 8 figures. v2: Typo fixed, arxiv references adde

Topical Review on "Beta-beams"

Neutrino physics is traversing an exciting period, after the important discovery that neutrinos are massive particles, that has implications from high-energy physics to cosmology. A new method for the production of intense and pure neutrino beams has been proposed recently: the ``beta-beam''. It exploits boosted radioactive ions decaying through beta-decay. This novel concept has been the starting point for a new possible future facility. Its main goal is to address the crucial issue of the existence of CP violation in the lepton sector. Here we review the status and the recent developments with beta-beams. We discuss the original, the medium and high-energy scenarios as well as mono-chromatic neutrino beams produced through ion electron-capture. The issue of the degeneracies is mentioned. An overview of low energy beta-beams is also presented. These beams can be used to perform experiments of interest for nuclear structure, for the study of fundamental interactions and for nuclear astrophysics.Comment: Topical Review for Journal of Physics G: Nuclear and Particle Physics, published version, minor corrections, references adde

Asteroids' physical models from combined dense and sparse photometry and scaling of the YORP effect by the observed obliquity distribution

The larger number of models of asteroid shapes and their rotational states derived by the lightcurve inversion give us better insight into both the nature of individual objects and the whole asteroid population. With a larger statistical sample we can study the physical properties of asteroid populations, such as main-belt asteroids or individual asteroid families, in more detail. Shape models can also be used in combination with other types of observational data (IR, adaptive optics images, stellar occultations), e.g., to determine sizes and thermal properties. We use all available photometric data of asteroids to derive their physical models by the lightcurve inversion method and compare the observed pole latitude distributions of all asteroids with known convex shape models with the simulated pole latitude distributions. We used classical dense photometric lightcurves from several sources and sparse-in-time photometry from the U.S. Naval Observatory in Flagstaff, Catalina Sky Survey, and La Palma surveys (IAU codes 689, 703, 950) in the lightcurve inversion method to determine asteroid convex models and their rotational states. We also extended a simple dynamical model for the spin evolution of asteroids used in our previous paper. We present 119 new asteroid models derived from combined dense and sparse-in-time photometry. We discuss the reliability of asteroid shape models derived only from Catalina Sky Survey data (IAU code 703) and present 20 such models. By using different values for a scaling parameter cYORP (corresponds to the magnitude of the YORP momentum) in the dynamical model for the spin evolution and by comparing synthetics and observed pole-latitude distributions, we were able to constrain the typical values of the cYORP parameter as between 0.05 and 0.6.Comment: Accepted for publication in A&A, January 15, 201

Measurement of Atmospheric Neutrino Oscillations with the ANTARES Neutrino Telescope

The data taken with the ANTARES neutrino telescope from 2007 to 2010, a total live time of 863 days, are used to measure the oscillation parameters of atmospheric neutrinos. Muon tracks are reconstructed with energies as low as 20 GeV. Neutrino oscillations will cause a suppression of vertical upgoing muon neutrinos of such energies crossing the Earth. The parameters determining the oscillation of atmospheric neutrinos are extracted by fitting the event rate as a function of the ratio of the estimated neutrino energy and reconstructed flight path through the Earth. Measurement contours of the oscillation parameters in a two-flavour approximation are derived. Assuming maximum mixing, a mass difference of $\Delta m_{32}^2=(3.1\pm 0.9)\cdot 10^{-3}$ eV$^2$ is obtained, in good agreement with the world average value.Comment: 9 pages, 5 figure

High intensity neutrino oscillation facilities in Europe

The EUROnu project has studied three possible options for future, high intensity neutrino oscillation facilities in Europe. The first is a Super Beam, in which the neutrinos come from the decay of pions created by bombarding targets with a 4 MW proton beam from the CERN High Power Superconducting Proton Linac. The far detector for this facility is the 500 kt MEMPHYS water Cherenkov, located in the Fréjus tunnel. The second facility is the Neutrino Factory, in which the neutrinos come from the decay of μ+ and μ− beams in a storage ring. The far detector in this case is a 100 kt magnetized iron neutrino detector at a baseline of 2000 km. The third option is a Beta Beam, in which the neutrinos come from the decay of beta emitting isotopes, in particular He6 and Ne18, also stored in a ring. The far detector is also the MEMPHYS detector in the Fréjus tunnel. EUROnu has undertaken conceptual designs of these facilities and studied the performance of the detectors. Based on this, it has determined the physics reach of each facility, in particular for the measurement of CP violation in the lepton sector, and estimated the cost of construction. These have demonstrated that the best facility to build is the Neutrino Factory. However, if a powerful proton driver is constructed for another purpose or if the MEMPHYS detector is built for astroparticle physics, the Super Beam also becomes very attractive

A First Search for coincident Gravitational Waves and High Energy Neutrinos using LIGO, Virgo and ANTARES data from 2007

We present the results of the first search for gravitational wave bursts associated with high energy neutrinos. Together, these messengers could reveal new, hidden sources that are not observed by conventional photon astronomy, particularly at high energy. Our search uses neutrinos detected by the underwater neutrino telescope ANTARES in its 5 line configuration during the period January - September 2007, which coincided with the fifth and first science runs of LIGO and Virgo, respectively. The LIGO-Virgo data were analysed for candidate gravitational-wave signals coincident in time and direction with the neutrino events. No significant coincident events were observed. We place limits on the density of joint high energy neutrino - gravitational wave emission events in the local universe, and compare them with densities of merger and core-collapse events.Comment: 19 pages, 8 figures, science summary page at http://www.ligo.org/science/Publication-S5LV_ANTARES/index.php. Public access area to figures, tables at https://dcc.ligo.org/cgi-bin/DocDB/ShowDocument?docid=p120000

Status and Recent Results of the Acoustic Neutrino Detection Test System AMADEUS

The AMADEUS system is an integral part of the ANTARES neutrino telescope in the Mediterranean Sea. The project aims at the investigation of techniques for acoustic neutrino detection in the deep sea. Installed at a depth of more than 2000m, the acoustic sensors of AMADEUS are based on piezo-ceramics elements for the broad-band recording of signals with frequencies ranging up to 125kHz. AMADEUS was completed in May 2008 and comprises six "acoustic clusters", each one holding six acoustic sensors that are arranged at distances of roughly 1m from each other. The clusters are installed with inter-spacings ranging from 15m to 340m. Acoustic data are continuously acquired and processed at a computer cluster where online filter algorithms are applied to select a high-purity sample of neutrino-like signals. 1.6 TB of data were recorded in 2008 and 3.2 TB in 2009. In order to assess the background of neutrino-like signals in the deep sea, the characteristics of ambient noise and transient signals have been investigated. In this article, the AMADEUS system will be described and recent results will be presented.Comment: 7 pages, 8 figures. Proceedings of ARENA 2010, the 4th International Workshop on Acoustic and Radio EeV Neutrino Detection Activitie